Fechar
Metadados

1. Identificação
Tipo de ReferênciaArtigo em Evento (Conference Proceedings)
Sitemtc-m21c.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W34R/445PSHP
Repositóriosid.inpe.br/mtc-m21c/2021/02.08.15.53   (acesso restrito)
Última Atualização2021:02.08.15.53.14 (UTC) simone
Repositório de Metadadossid.inpe.br/mtc-m21c/2021/02.08.15.53.14
Última Atualização dos Metadados2021:02.11.20.57.06 (UTC) administrator
Chave SecundáriaINPE--PRE/
DOI10.1109/ISSREW51248.2020.00090
ISBN978-172819870-5
Chave de CitaçãoBarrosHiraMarqAmbr:2020:GeTeCa
TítuloGenerating test cases to evaluate and improve processes of safety-critical systems development
FormatoOn-line
Ano2020
Data de Acesso05 maio 2024
Tipo SecundárioPRE CI
Número de Arquivos1
Tamanho375 KiB
2. Contextualização
Autor1 Barros, Lilian
2 Hirata, Celso
3 Marques, Johnny
4 Ambrósio, Ana Maria
Identificador de Curriculo1
2
3
4 8JMKD3MGP5W/3C9JGH7
Grupo1
2
3
4 DIDSE-CGETE-INPE-MCTIC-GOV-BR
Afiliação1 Instituto Tecnológico de Aeronáutica (ITA)
2 Instituto Tecnológico de Aeronáutica (ITA)
3 Instituto Tecnológico de Aeronáutica (ITA)
4 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor1 lilian@ita.br
2 hirata@ita.br
3 johnny@ita.br
4 ana.ambrosio@inpe.br
EditorVieira, M.
Madeira, H.
Antunes, H.
Zheng, Z.
Nome do EventoInternational Symposium on Software Reliability Engineering Workshops, 31
Localização do EventoCoimbra, Portugal
Data12-15 Oct.
Editora (Publisher)IEEE
Páginas311-318
Título do LivroProceedings
Histórico (UTC)2021-02-08 15:53:53 :: simone -> administrator :: 2020
2021-02-11 20:57:06 :: administrator -> simone :: 2020
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Tipo do ConteúdoExternal Contribution
Tipo de Versãopublisher
ResumoO-178C establishes considerations for developers, installers, and users to design software of embedded equipment in the aviation sector. Organizations must define processes and verify that they help to demonstrate that the DO-178C objectives are satisfied. We propose a test case generation method for process evaluation and improvement. The proposed method consists of an adaptation of the CoFI (Conformance and Fault Injection) approach to generate test cases to processes. Test cases verify if the deployed processes comply with their requirements. We applied the innovative approach to a corrective action process for safety-critical software reviews. The results show that the method is helpful to elicit and analyze unexpected behaviors.
ÁreaETES
Arranjourlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDSE > Generating test cases...
Conteúdo da Pasta docacessar
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 08/02/2021 12:53 1.0 KiB 
4. Condições de acesso e uso
Idiomaen
Arquivo Alvobarros_generating.pdf
Grupo de Usuáriossimone
Grupo de Leitoresadministrator
simone
Visibilidadeshown
Permissão de Leituradeny from all
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Repositório Espelhourlib.net/www/2017/11.22.19.04.03
Unidades Imediatamente Superiores8JMKD3MGPCW/446AUSL
Lista de Itens Citandosid.inpe.br/mtc-m21/2012/07.13.14.39.50 1
sid.inpe.br/bibdigital/2021/02.11.20.54 1
Acervo Hospedeirourlib.net/www/2017/11.22.19.04
6. Notas
Campos Vaziosarchivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination e-mailaddress edition issn keywords label lineage mark nextedition notes numberofvolumes orcid organization parameterlist parentrepositories previousedition previouslowerunit progress project publisheraddress rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url volume
7. Controle da descrição
e-Mail (login)simone
atualizar 


Fechar